-
1 язык правил вывода
Automation: production( - rule) languageУниверсальный русско-английский словарь > язык правил вывода
-
2 язык правил вывода, порождающих правила
Makarov: production language, production-rule languageУниверсальный русско-английский словарь > язык правил вывода, порождающих правила
-
3 production language
1) Техника: продукционный язык (в экспертных системах)2) Вычислительная техника: продукционный язык, язык продукций (в экспертных системах)3) Автоматика: (-rule) язык правил вывода, (-rule) язык продукций, (-rule) язык, порождающий правила, (-rule) продукционный язык (в экспертных системах)4) Макаров: язык правил вывода, порождающих правила -
4 production (-rule) language
Автоматика: язык правил вывода, язык продукций, язык, порождающий правила, продукционный язык (в экспертных системах)Универсальный англо-русский словарь > production (-rule) language
-
5 production-rule language
Универсальный англо-русский словарь > production-rule language
-
6 production language
= production-rule language продукционный язык ( в экспертных системах), язык продукций, язык правил вывода, порождающих правилаEnglish-Russian dictionary of mechanical engineering and automation > production language
-
7 production language
Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > production language
См. также в других словарях:
Язык логического программирования — Логическое программирование парадигма программирования, основанная на автоматическом доказательстве теорем, а также раздел дискретной математики, изучающий принципы логического вывода информации на основе заданных фактов и правил вывода.… … Википедия
Язык разметки прогнозного моделирования — Язык разметки для прогнозного моделирования (Predictive Model Markup Language PMML) является языком разметки на основе XML, разработанным Data Mining Group (DMG), и обеспечивающим приложениям способ определения моделей, относящихся к… … Википедия
ЯЗЫК ПРОГРАММИРОВАНИЯ — это совокупность набора символов (алфавита) системы, правил образования (синтаксис) и истолкования конструкции из символов (семантика) для задания алгоритмов с использованием символов естественного языка. В самом общем виде формальный язык… … Большая политехническая энциклопедия
Язык и языки — (в лингвистическом смысле) в значении речи человеческой. Это название применяется в русском Я. переносно, метафорически, причем главный, видимый орган произношения, язык, берется в значении процесса, в значении деятельности и всей совокупности… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
язык логики — специально создаваемый современной логикой для своих целей язык, способный следовать за логической формой рассуждения и воспроизводить ее даже в ущерб краткости и легкости общения. Я. л. является языком формализованным. Построение его… … Словарь терминов логики
ФОРМАЛИЗОВАННЫЙ ЯЗЫК — 1) В широком смысле – любая совокупность нек рым образом специализированных языковых средств с (более или менее) точно фиксиров. правилами образования выражений (с и н т а к с и с Ф. я.) и приписывания этим выражениям определ. смысла (с е м а н т … Философская энциклопедия
Пролог (язык программирования) — У этого термина существуют и другие значения, см. Пролог. Пролог Семантика: логическое программирование Появился в: 1972 Автор(ы): Alain Colmerauer Расширение файлов: .pl .pro .P … Википедия
Логический язык программирования — Логическое программирование парадигма программирования, основанная на автоматическом доказательстве теорем, а также раздел дискретной математики, изучающий принципы логического вывода информации на основе заданных фактов и правил вывода.… … Википедия
Машина вывода — Машина вывода программа, которая выполняет логический вывод из предварительно построенной базы фактов и правил в соответствии с законами формальной логики. Факт в данном случае утверждение, являющееся постоянно истинным, например:… … Википедия
Машина логического вывода — Машина вывода программа, которая выполняет логический вывод из предварительно построенной базы фактов и правил в соответствии с законами формальной логики. Факт в данном случае утверждение, являющееся постоянно истинным, например: «Адам является… … Википедия
Механизм вывода — Машина вывода программа, которая выполняет логический вывод из предварительно построенной базы фактов и правил в соответствии с законами формальной логики. Факт в данном случае утверждение, являющееся постоянно истинным, например: «Адам является… … Википедия